Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
681	1 Alice: Vittorio: Sergio: Riccardo: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Data Database theory Database Object database Relational model Relational database Data model IBM DB2 SQL Database management systems Data management Computing
682	21 Object Databases Minkisi are complex objects clearly not the product of a momentary impulse[removed]To do justice to objects, a theory of them must be as complex as them.1 —Wyatt MacGaffey in Astonishment and Power Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:47 Object-oriented programming Object identifier Object database Data model Objective-C EXPRESS Relational model Class Constructor Software engineering Computing Computer programming
683	Applicative functors and fully transparent higher-order modules Xavier Leroy INRIA B.P. 105, Rocquencourt, 78153 Le Chesnay, France. [removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Functors Adjoint functors Homological algebra Standard ML Monad Limit Free object Denotational semantics Sheaf Abstract algebra Category theory Mathematics
684	PDF Document Add to Reading List Source URL: object.cato.org Language: English - Date: 2012-12-10 20:21:40 Environment Climate change Bootleggers and Baptists Bruce Yandle United Nations Framework Convention on Climate Change Emissions trading Carbon credit Regulation Kyoto Protocol Climate change policy Public choice theory Carbon finance
685	U Bruce Yandle Bootleggers and Baptists-The Education of a Regulatory Economist Add to Reading List Source URL: object.cato.org Language: English - Date: 2012-12-10 20:27:43 Economics Law Public choice theory Monopoly Market failure Regulation Bootleggers and Baptists Airline deregulation Deregulation Economics of regulation Public administration Administrative law
686	Oracle II – SQL Programming [removed]WVEIS Code 1934 This is the second portion of the Database Design and Programming with SQL course and will introduces SQL programming. In this portion, students implem Add to Reading List Source URL: careertech.k12.wv.us Language: English - Date: 2012-09-14 09:46:00 Computing SQL keywords Database theory SQL Insert Oracle Database Update View Object-relational database Data management Database management systems Relational database management systems
687	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Software Model Checking of Soundness of Type Systems Michael Roberson Melanie Harries Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2009-03-23 19:01:00 Computer programming Primitive types Procedural programming languages Type theory Null Model checking Programming language Type system C Computing Software engineering Data types
688	Package ‘futile.any’ July 2, 2014 Type Package Title Futile library to provide some polymorphic operations Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:54:31 Data types Object-oriented programming Type theory Cross-platform software Procedural programming languages Matrix Array data type Polymorphism C Software engineering Computing Computer programming
689	Package ‘neuroim’ July 2, 2014 Imports Matrix, yaImpute, License GPL (>= 2) Maintainer Bradley Buchsbaum Title neuroim: R software for reading, writing and representing brain imaging data. Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 15:51:22 Computing Type theory Method Matrix Common Lisp Object System Class Constructor C++ classes Type signature Software engineering Computer programming Object-oriented programming
690	SafeJava: A Unified Type System for Safe Programming by Chandrasekhar Boyapati B.Tech. Indian Institute of Technology, Madras[removed]S.M. Massachusetts Institute of Technology (1998) Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2008-10-27 16:04:08 Object-oriented programming Data types Programming paradigms Type theory Cross-platform software Type system Object Immutable object Region-based memory management Software engineering Computing Computer programming

UPDATE